COMMENT ⊗   VALID 00027 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	∂03-Nov-81  1520	Tom Dietterich <CSD.DIETTERICH at SU-SCORE> 	Meeting to talk about theses  
C00007 00003	∂27 Nov 1981 0014-PST	Russell Greiner <CSD.GREINER>	Come and get it!
C00010 00004	∂TO STT 14:05 1-Dec
C00011 00005	∂TO BROWN@PARC (CC LENAT@PARC)  17:45 4-Dec
C00013 00006	∂TO RHAYES-ROTH@SRI-KL 18:23 11-Dec
C00016 00007	∂TO CSD.BENNETT@SCORE 18:13 18-Dec  [earlier to CSD.BACH & KEDES]
C00024 00008	∂TO CSD.KEDES@SCORE (CC CSD.BRUTLAG, CSD.BACH)  13:35 21-Dec
C00029 00009		Abarbanel
C00039 00010	∂TO WALDINGER@SRI-AI 16:29 30-Dec-81
C00044 00011	∂TO clancey@sumex (CC csd.clancey@score) 11:33 19-Jan-82
C00049 00012	∂TO stefik@parc 11:49 20-Jan-82
C00055 00013		Meeting with Fairchild -- Dick Duda  (March 1982)
C00060 00014	∂15-Mar-82  1559	<CSD.GREINER at SU-SCORE> 	Discussion of Analogy, and related things 
C00064 00015	∂23-Apr-82  0932	TW   
C00072 00016	∂TO darden@sumex, csd.dietterich@score, tom@kestrel, csd.gardner@score,
C00074 00017	∂25-Apr-82  1231	TW   
C00075 00018	∂TO sklein@isib 15:13 3-May
C00076 00019	∂04-May-82  2002	ML  	analogy   
C00080 00020	∂TO STT 14:15 6-May
C00082 00021	∂TO shortliffe@sumex 19:50 15-June-82
C00086 00022	Relevant domains
C00092 00023		meeting w/Tom Dietterich [ca Jun-82]
C00096 00024	∂13 Jul 1982 1651-PDT	Colleen Crangle <CSD.CRANGLE at SU-SCORE>	analogies
C00101 00025	Discussion with Colleen [3/Aug/82]
C00102 00026	Discussion with Mike Genereseth [3/Aug/82]
C00106 00027	∂TO bischoff@sumex 12:30 5-Aug-82
C00111 ENDMK
C⊗;
∂03-Nov-81  1520	Tom Dietterich <CSD.DIETTERICH at SU-SCORE> 	Meeting to talk about theses  
To: rdg at SU-AI
cc: CSD.DIETTERICH at SU-SCORE

Russ,

I read your thesis stuff and it's clear that there is a lot of
potential for overlap with what I'm doing.  We really need to talk
about this so that we can cooperate rather than competing.  When can
you get together and talk?  How about Wednesday or Friday morning?

--Tom
-------

∂03-Nov-81  2124	Paul Cohen <CSD.PCOHEN at SU-SCORE> 	Regular meetings  
To: csd.dietterich at SU-SCORE, rdg at SU-AI, csd.lenat at SU-SCORE

Hi Russ and Tom, I met with Doug today and mentioned that we had been 
chatting rather a lot lately, and Doug suggested regular meetings between
the four of us. I stressed that we are all in the development stage.
If you want to do this, maybe you could send me times when you are
UNABLE to meet. Thanks, --P
-------

∂TO CSD.DIETTERICH@SCORE 22:23 16-Nov
Theses
Tom -
	Can we get together sometime in the near future to discuss theses?
My proposal has undergone some modification in style (in particular it
now works through an example), which may render it more readable.

	And yours?
Russ

∂17-Nov-81  1156	Tom Dietterich <CSD.DIETTERICH at SU-SCORE> 	Re: Theses     
To: RDG at SU-AI
cc: CSD.DIETTERICH at SU-SCORE

Russ,

Sure, let's get together.  I have made zero progress on my stuff since
I last talked to you.  I'll be glad to read your new stuff, though,
and comment on it.  Send me hardcopy (preferred) or a pointer.

--Tom
-------

11AM Friday
∂27 Nov 1981 0014-PST	Russell Greiner <CSD.GREINER>	Come and get it!
To: CSD.GENESERETH
cc: CSD.GREINER

The thesis proposal is awaiting you in the G box of Dover output stack.
Read, and remember -- "the quality of mercy is never strained".
(Just in case, I'm buying stock in the "red ink" market.)

A not-so-pretty-but-still-readable version is <CSD.GREINER>THESIS.DOC.

Yawn,
	Russ
-------

∂29 Nov 1981 2006-PST	Mike Genesereth <CSD.GENESERETH>	Re: Come and get it!
To: CSD.GREINER

Having taken a quick look at yoiur refernces and not finding the
metaphors and models paper listed there, I can only conclude that
the proposal isn;t too interesting.  However, I'm willing to take a look
at it.
mrg
-------

∂TO CSD.GENESERETH@SCORE 12:49 30-Nov
Yea, but count those fonts!
Huh?  If you check the bibliographies associated with books I referenced
you'll find several occurances of (AND Models Metaphors).
(You do believe in indirect pointers, don't you?)
I just didn't want to be too obvious a party to this clear example of 
plagarization -- see the 1962 book by Black.
Besides, I thought it was generally conceeded that that articular was devoid
of semantic content!  (See referee's comment.)
Finally, I, like the rest of us, tend to forget where specific
ideas may have come from.  (Your ref has been included...)

Russ

∂TO CSD.GENESERETH@SCORE 17:50 4-Dec
Now with NO phosphates!
Mike -
	I made some changes to the proposal, mostly cosmetic -- 
things like padding out the bibliography.
If you have yet to begin reading it, feel free to dover yourself a copy of the 
new improved version -- see THESIS.PRE[1,rdg].
	Russ
∂TO STT 14:05 1-Dec
This and that
Steve -
	Greetings!  How was the Channel 5 series, by the way?
Did it present anything of use?

	Have you had a chance to peruse my proposal?  Any comments?
Russ
∂TO BROWN@PARC (CC LENAT@PARC)  17:45 4-Dec
Thesis Work
John -
	I'm just now beginning serious thesis work on the topic of analogy;
and would greatly appreciate the benefit of your insights and experiences.
Would it be possible to get together in the near future, to discuss and
hopefully improve some of my ideas?  
A PRESS version of my current thesis proposal is on <GREINER>THESIS.PRE;
feel free to examine it.  (Don't be alarmed by its bulk -- much of
it is "appendix"-ish.  Also, not all of it is in the form of a partial statement,
followed by some needless punctuation and another partial clause; much of
it reads much better than this message.)

Context:  We've met a few times before, both over at Parc and
here at Stanford, after a few of your lectures.
My previous work has been on RLL, with Doug and Mike.

Thanks,
	Russ

∂TO BROWN (CC KEANE) @PACR  11:47 17-Dec
Thesis proposal
The current version of my thesis proposal is now stored on (in?, at?)
the press file [Parc]<Greiner>Thesis.Pre;1.  
Its protection is now 777777, which should permit you to DOVER it.

Feel free to read whatever subset of it seems relevant -- much of it
is ancillary.

I look forward to discussing it, whenever you've time.
	Russ

∂Called 15:40 22-Jan-82
∂TO RHAYES-ROTH@SRI-KL 18:23 11-Dec
Greetings
Rick -
	Welcome!  I just learned you too couldn't resist beautiful Palo Alto.
What sort of schedule do you have now?  Could we get together and chat
some time in the not-too-distant future?
	Context: I finally assembled that thesis proposal I've been
mentioned for the last several months.  As promised, it's on the topic
of analogy.  Do you time/interest/desire to read it, and provide
comments/improvements/...?
	Thanks,
Russ

∂14-Dec-81  0910	RHAYES-ROTH at SRI-KL 	Re: Greetings    
To: RDG at SU-AI

Russ:
	It's true, I'm moving back to the country.  Ah goats! Ahh pigs!

Ellie Engelmore at Tek keeps my schedule which is generally weds & thursdays
in palo alto, except the two holiday weeks in december when it'll be tues &
weds.  Why don't you drop a copy of the proposal of at Teknowledge and
then I'll set up ameeting to discuss it with you.

Cheers,

	Rick
-------

∂TO RHAYES-ROTH at SRI-KL 15:34 14-Dec
En route
Rick -
	"back" to the country?  Anyway, I sent a copy of that proposal with
a courier (Denny).  It is rather long -- and some parts will be yet even
less relevant than others.  Do feel free to read only certain sections, if you
wish.

Tally-ho,
	Russ

∂Called TeKnowledge 15:44 22-Jan-82
∂TO CSD.BENNETT@SCORE 18:13 18-Dec  [earlier to CSD.BACH & KEDES]
 ∂TO CSD.BACH@SCORE 17:47 17-Dec
 ∂TO KEDES@SUMEX (CC BGB) 14:45 18-Dec
Potential Molgen/Thesis Interaction
Larry -
	I'm currently considering using MOLGEN as an application domain
for my thesis work.  
In a nutshell, I'm exploring various ways of using analogy to enter new data
into an existing KB.  I've some preliminary ideas, and want to see how 
often this type of mechanism would really be used.
Let me give an example of the sort of thing this program should be able to do.
[Note - the chemistry is probably wrong.  Ignore that, if possible.]

Dendral currently has a bunch of rules which deal with certain chemical
configurations, including, (for the sake of argument,) hydrates.
[R-C(OH)2-H].
Now someone comes along, and wants to analyze ammoniates [R-C(NH2)2-H].
The challenge is how to incorporate this into Dendral's Knowledge Base.

How would you describe it to me?  Probably by telling me that such these ammoniate
groups are just like hydrates, except ... where that exception clause
is very similar to the way hydrozyl compounds differ from amine compounds, in
general.

From this information I could deduce many of the properties of these ammoniates.
in particular, I (might) be able to generate the rules Dendral should use
for analyzing these compounds, but taking the rules for hydrate and twiddling
them.

Reiterating, we could pose this inquiry as:
for each rule for hydrate, R, find the rule R' which satisfies the analogy
relation
	Hydrate : R :: Ammoniate : R'.

(This R -> R' transformation may be fairly straightforward, if we
make the assumption that R' will probably differ from R in much
the same way a rule for, say, hydrates differs from one for ammoniates.)

End of strained example; now for my question:
How often does this sort of thing happen?  That is, how often are you
updating Molgen's KB with such new cases?  Can you think of examples of
hand?

New I have some fairly rigid requirements for these new cases, X:
Each must be a domain concept for which
(1) There is some domain concept Y s.t.
  (i)  X is like Y
  (ii) much is known about Y
(2) Little is known about X, except
(3) How X is {like	    } Y is known.
 	     {different from}

----
Of the top of his head, Bruce suggested that Molgen would be in this situation
if some new class of (non-restrictive) enzyme were found; and had to be added.

I also spoke briefly with Rene today.  He suggested that geneticists use this
type of reasoning more when dealing with ideas and plans,
than with "domain" level objects (like nucleotide sequences or enzymes).  
The example he mentioned involved taking the plans developed for modifying a
vector, and using them, mutatis mutandis, to twiddle lambda-phages.

Comments?  Could we perhaps meet sometime soon to pursue this idea.
Thanks,
	Russ

∂17-Dec-81  1803	Rene Bach <CSD.BACH at SU-SCORE> 	Re: Potential Molgen/Thesis Interaction       

Yes,
	Lets talk tomorrow. Of the top of my head I would say that we have not 
yet run into that problem. The analogy stuff is more used to plan new experiments
than to update the KB. If you think of problems more than of technical informations,
then it may be discussed. You may also want to talk to LArry and Peter.
See you tomorrow.
Rene
-------

∂18-Dec-81  1606	Buchanan at SUMEX-AIM 	Re: Potential Molgen/Thesis Interaction        

I happen to know that Larry is out of town over the holidays.  Probably
will be back in January, so don't be disappointed about a lack of response.

good thoughts.
bgb
-------

∂18-Dec-81  1755	Larry Kedes <CSD.KEDES at SU-SCORE> 	Re: Potential Molgen/Thesis Interaction    
To: RDG at SU-AI
cc: brutlag at SU-SCORE

Russ,
your approach seems interesting.  I would say that molecular biologists
and geneticists do use that form of resoning to analyze by analogy
quite often.  Isolating a new compound (e.g. gene or enzyme or phage or
bacterium etc.) and knowing how it differs from a known compound is
common.  It at least is the analogy that helps in experiment planning:
the hypothesis is that for the new compound X will exhibit trait y since
compound Y (the known) exhibited trait Y.

One problem I forsee is that KB building has gotten short shrift by
the molecular biologists in MOLGEN lately in terms of creating
new information about "compounds".

Isn't the strictest type of structural analogy the simple concept in
a DNA structure that if we clone one gene and work out its restriction map,
a second, unknown, gene will have a restriction map too?  Or is this
too elementary a reduction of your idea.

I forwarded a copy of your msg to Doug Brutlag who may respond as well.

-Larry

∂TO CSD.KEDES@SCORE (CC CSD.BRUTLAG, CSD.BACH)  13:35 21-Dec
Analogy is a many splendered thing
Thank you for so quick a response.  Yes, analogy does occur at many different
levels, and is present in numerous situations.
Your first example (of experiment design) is right along the lines
I'm beginning to examine; and I would profit immensely from a 
few particular examples of when this was (or could have been) applied.
(That is, can you relay an experiment whose design was based on an earlier,
similar experiment, mutatis mutandis?  Are there many such instances?)

I don't think I quite understood your next example: it sounded like you were
inferring that one gene will have a restriction map because another gene
has such a map.  A more interesting result would involve finding that a pair
of (perhaps somehow related) genes were (unexpectedly) found to have
similar (or even identical) respective restriction sites
-- indicative of similar overall nucleotide sequence, and hence perhaps
pointing to a similar function, on either a DNA-structure level, or on the
level of the derived protein.

In the case of cloning (if I understand that concept)
the actual cloned sequence would be identical to the original.  
Finding that one clone is indeed identical to another
is indeed an instance of analogy; but the fact that they were designed to
correspond exactly makes this analogy seem rather degenerate, and uninteresting.

Or is this view of cloning totally inaccurate (ie I assumed the "replication"
process was fault-free)?
Are there systematic "errors", producing non-homologous regions?
Were you proposing that these systematic errors could be discovered by
some analogizer?
Or that these errors could be anticipated in a new cloning instance,
based on the errors found in an earlier experiment?

The latter proposal is reasonable -- a case of finding the ? which satisfies
	Orig1 : Clone1 :: Orig2 : ?
where Orig1 is the original sequence, Clone1 the derived cloned sequence, and
Orig2 is the new sequence.
(Perhaps after many of these analyses the first question
(of discovering these errors) could be achieved as well
-- by noting the common properties of the mis-transcriptions.
As you can tell by now, I'm still at that grandious stage of thesis construction;
and am considering all sorts of far-fetched ideas...)

Anyway, I would enjoy a higher-bandwidth discussion.  
If you are interested as well, when can we get together?
I will be in the area from now until 1-Jan, and then after 6-Jan.
(By the way, Bruce implied you currently were on vacation.  
Was he totally mistaken?)

Russ
	Abarbanel
∂22-Dec-81  0910	Rene Bach <CSD.BACH at SU-SCORE> 	Re: Analogy is a many splendered thing   

Russ, the address is ABARBANEL @ sumex, for the protein stuff.
Rene
-------

∂TO ABARBANEL@SUMEX (CC CSD.BACH at SU-SCORE)  11:42 22-Dec
Uses of an Analogizing Program
Dr Abarbanel,
	I'm just starting serious thesis work, and am looking for
an application domain.
The research question is how to use analogy to enter new data
into an existing KB.  I've some preliminary ideas, and want to see how 
often this type of mechanism would really be used.
Rene Bach suggested I look into the protein stuff you're doing; hence
this message.

Let me give an example of the sort of thing this program should be able to do.
[Note - the chemistry is probably wrong.  Ignore that, if possible.]

Dendral currently has a bunch of rules which deal with certain chemical
configurations, including, (for the sake of argument,) hydrates.
[R-C(OH)2-H].
Now someone comes along, and wants to analyze ammoniates [R-C(NH2)2-H].
The challenge is how to incorporate this into Dendral's Knowledge Base.

How would you describe it to me?  Probably by telling me that such these ammoniate
groups are just like hydrates, except ... where that exception clause
is very similar to the way hydrozyl compounds differ from amine compounds, in
general.

From this information I could deduce many of the properties of these ammoniates.
in particular, I (might) be able to generate the rules Dendral should use
for analyzing these compounds, but taking the rules for hydrate and twiddling
them.

Reiterating, we could pose this inquiry as:
for each rule for hydrate, R, find the rule R' which satisfies the analogy
relation
	Hydrate : R :: Ammoniate : R'.

(This R -> R' transformation may be fairly straightforward, if we
make the assumption that R' will probably differ from R in much
the same way a rule for, say, hydrates differs from one for ammoniates.)

End of strained example; now for my question:
How often does this sort of thing happen?  That is, how often do you imagine
a KB will be updated with such new cases?  Can you think of any real crisp
examples of this, off hand?

I do have some fairly rigid requirements for these new cases, X:
Each X must be a domain concept for which
(1) There is some domain concept Y s.t.
  (i)  X is like Y
  (ii) much is known about Y
(2) Little is known about X (at least in the KB), except
(3) How X is {like	    } Y is known.
 	     {different from}

----
Off the top of his head, Bruce Buchanan suggested that Molgen would be in
this situation if some new class of (non-restrictive) enzyme were found;
and had to be added.

I also spoke briefly with Rene Bach the other day.
He suggested that geneticists use this type of reasoning more when dealing 
with ideas and plans, over applications at the "domain" level objects 
(like nucleotide sequences or enzymes).  
The example he mentioned involved taking the plans developed for modifying a
vector, and using them, mutatis mutandis, to twiddle lambda-phages.

Larry Kedes had a few vague examples, involving both experiment planning
and the results of a cloning experiment.

Let me know if you'd like to discuss this.  Thanks,
	Russ

∂22-Dec-81  1215	Rene Bach <CSD.BACH at SU-SCORE> 	Re: Uses of an Analogizing Program       
To: RDG at SU-AI, abarbanel at SUMEX-AIM

Bob,
	One thing Russ didn't mention is the protein structure stuff, wHere, I 
think, a lot of "facts" are deduced from comparing structures. It is along that
line that I suggeted him to talk to you. But thi should not restrain you from
any other suggestions. One thing which is also limiting is that Russ needs
a fairly large database. But about more constraints, you'll have to talk with Russ.

Rene
-------

∂05-Jan-82  2150	Abarbanel at SUMEX-AIM 	analogy    
To:   RDG at SU-AI

Be happy to discuss things... don't see any "crisp" examples in my work
but perhaps you will when I describe the problems/solutions.
I'm around PA most Thursday's except only for short time on the 7th.
Call me at home 415-8490921 if you'd like... or can we plan on something
like 1 pm on the 14th of Jan ?
bob abarbanel
-------

∂TO Abarbanel at SUMEX-AIM  11:33 9-Jan-82 
Meeting
Yes, let's meet this coming Thursday, the 14th.
My only constraint is a still underspecified rehearsal, beginning at
either 2 or 4 PM (I'll not know which until Tuesday).
Meeting at 1PM is OK by me, unless you think there'll be more than one hour
of stuff to discuss.  Alternatively, meeting at noon for lunch would leave open
the possibility of two hours of interaction
-- as well as give me an excuse to eat something reasonable.

Which sounds better for you?  Or is some earlier/later time better?

Russ

∂12-Jan-82  2227	Abarbanel at SUMEX-AIM 	Re: Meeting     

I have a meeting re protein structure at Noon  (M361 Med School) then
we can meet ? 1:30 at CS desk on MJH 2nd floor...
I'm 5'9" bearded with briefcase that day I expect.  Short talk may be
good then re-schedule for future interest, OK ? bob
-------

∂TO abarbanel@sumex 11:37 13-Jan
Logistics
Yes, let's meet tomorrow.  Arrangements:
(i) I could meet you outside M361 -- and we could yak en route back to MJH,
	or wherever.  [Indicate when your meeting ends.]
(ii) Alternatively I could wait patiently in my office - MJH 251. 
	(Across from the conference room 252.)
(iii) ____________ (write in)

Please vote for one of the above, supplying the additional information as needed.

[Stats: I'm beardless, non-mustashed, tall (6'ish) and lanky (?scrawny?), and
perennially en-backpacked.]

Russ

∂TO abarbanel@sumex 15:50 2-Feb-82
Oops...
Bob -
	Looks like I'll be the one who has to cancel out this time:
various HPPers are speaking at the computer forum at 11AM this Thursday.
Perhaps at noon?  (I do, however, want to attend the afternoon session,
beginning at 2PM.)
	Or would you prefer some other time?
Russ
∂TO WALDINGER@SRI-AI 16:29 30-Dec-81
Refs to things like analogy  (?analogy analogues?)
Richard:
	Thank you for mentioning those analogy-related references the other
day.  Nachum's thesis does seem, at first glance, potentially quite relevant --
it has been placed high on my to-read-soon stack (queue?).
I couldn't find you other suggestion -- a paper by Moll & Uhrlich.
Am I mispelling it, or is it just obscure, or ...  Any leads would
be much appreciated.
	Thanks,
Russ

∂01-Jan-82  1733	Waldinger at SRI-AI 	Re: Refs to things like analogy  (?analogy analogues?)     

moll and ulrich (robert and john, respectively)  there is a paper in
the acm conference on ai/programming languages in rochester, august,
1975_(?  same year as boston ijcai)
there may be a later one in the japan ijcai.

moll is visiting stanford startif;ing in january,  not doing 
analogue stuff anymore.   

there is some good french work on deriving programs from examples
kodratoff guiho jouannaud.  they get very hard programs but their
methods are algorithmic and perhaps limited

cheers
happy new year
richard
-------

∂TO WALDINGER@SRI-AI 12:05 9-Jan-82
Re: Analogy
Thanks for your quick response.  I was able to find both M&U refs, and glanced
through both.  Their approach to analogy is considerably  different from mine
in significant ways -- it, for example, includes information from the user
in the loop; and they are only dealing with a single type of analogy 
(i.e. first generating, and then extending, a mapping between programs
based on found corresponding aspects).
Nevertheless, I may still be able to use some of their ideas, and perhaps
their examples.  Thanks again for the refs.

The part of your message on Moll's upcoming visit was a bit garbled.  
Who (or what sub-department) will he be visiting?

You mentioned a French crew, (?kodratoff guiho jouannaud?,) who derive programs
from examples.  How are they incorporating analogy into this process?
Of course, sending a pointer to their work is an amply sufficient answer.

Thanks again,
cHag Samay-acH,
Russ

∂TO Waldinger at SRI-AI 15:01 17-Jan-82
Follow up questions
∂11-Jan-82  1225	Waldinger at SRI-AI 	Re: Analogy   

moll is visiting someone in linguistics i forget who.  he is not
working on analogy any more (unless it's in a linguistic context).

i was viewing any derivation of a program from examples as analogical
reasoning.  i think this is fair.  their work is in the bonas precedings
(i told you? the are nato workshops and such)

best regards
richard
-------

[RDG] I truddled over to the linguistics department, but cound find no one
who knew anything about Moll.  Any other leads?  (You did mean Stanford's
lingustics department, yes?)

I will seek out that "bonas precedings" stuff.  (No, you hadn't mentioned
it before -- thanks for this reference.  
While it's not clear how directly relevant it will be for me, it couldn't
hurt to know of this work... Besides there are a few other people here
(notably Tom Dietterich) whose work may-be/is quite related,
to whom I'll forward this pointer.

Thanks again for your continuing help,
	Russ
∂TO clancey@sumex (CC csd.clancey@score) 11:33 19-Jan-82
Uses of an Analogizing Program
Bill,
	I'm just starting serious thesis work, and am looking for
an application domain.
The research question is how to use analogy to enter new data
into an existing KB.  I've some preliminary ideas, and want to bounce them
off various knowledgable people.  Are you game?

	If so, when would be a good time to get together?
My schedule is quite open -- lots of free time chunks.

	By the way, I've concocted a contrived example to illustrate the
sort of thing I'm considering.  Let me know if I should forward it to you...

Thanks,
	Russ

[By the way, what is your preferred mailing address?]

∂Called TeKnowledge 15:44 22-Jan-82

∂26-Jan-82  0820	Clancey at SUMEX-AIM 	Re: Uses of an Analogizing Program    

Russ,
	I just got back from a trip.   I'm very interested in your
topic, so let's get together.  I'll send a message suggesting a time
after I've scanned all of my back messages.  
	Also, please send other info (maybe that's in your next msg?).
Everything gets forwarded to CLANCEY@sumex, so use that address.

	Bill
-------

∂26-Jan-82  0946	Clancey at SUMEX-AIM 	Re: Uses of an Analogizing Program    

Russ,
	Please suggest a time when you'd like to meet.  I am
setting aside most of this week for meetings, and it will be easiest
if everyone else picks a time.

	Bill
-------

∂26-Jan-82  2243	Clancey at SUMEX-AIM 	Re: Uses of an Analogizing Program    

How about Friday morning before Siglunch, say 10:30?

	Bill
-------

∂TO clancey@sumex-aim 15:36 27-Jan
Contrived Scenario
Bill -

Below is a sketchy example of the type of scenario I think 
my eventual program should be able to perform.

-----
Consider the task of inputting rules to Dendral.
There will certainly be many times when the rules used for
one class of chemicals were essentially identical to those for another class,
but not quite.
To illustrate, imagine you had just enterred the dozen rules specific to hydrates.
Now comes the time to enter the corresponding rules to be used for
ammoniates.  (To a first approximation,) these new rules should be deducable
from that first set -- making only the changes needed to distinguish
amine compounds from hydrozyl compounds.  
That is, each new ammoniate rule, R, should be analogous to a hydrate rule, R'.

It would be nice if a program could generate this R using a relation like
	hydrates : ammoniates :: R' : ?.
(This relation, in turn, would be based on a body of facts known about
hydroxyl and  amine compounds).
However, lacking such an analogizing routine, you the user would be forced
to tediously enter a new rule R for each such R'.
-----

Anyway, I'm currently searching for a crisp example of when this actually happened,
to replace this imprecise contrived one.  Can you recall any such instance?
(when "educating" an expert system, when man or machine...)

Thanks,
	Russ
∂TO stefik@parc 11:49 20-Jan-82
Uses of an Analogizing Program
Mark,
	I'm just starting serious thesis work, and am looking for
an application domain.
The research question is how to use analogy to enter new data
into an existing KB.  I've some preliminary ideas, and want to bounce them
off various knowledgable people.  Are you game?

	If so, when would be a good time to get together?
My schedule is quite open -- lots of free time chunks.

	By the way, I've concocted a contrived example to illustrate the
sort of thing I'm considering.  Let me know if I should forward it to you...

Thanks,
	Russ

∂20-Jan-82  1613	Stefik at PARC-MAXC 	Re: Uses of an Analogizing Program
To: Russell Greiner <RDG at SU-AI>
cc: Bobrow, stefik

Russ,
	Let's get together for lunch soon.  I'll cc Dan Bobrow in case he's
interested as well.  We'll all be gone next week to MIT.  Pick 2 or 3 lunch dates
in the week of Feb 1, tell us, and we'll coordinate when we get back.  Please
send your preliminary examples along.  Cheers Mark

∂TO %parc stefik, bobrow 16:37 22-Jan-82
Discussion time, overview, etc.
Mark, Dan:
Thanks for your (hopefully not misplaced) enthusiasm!
Potential lunch times:  The best day for me is Wednesday, 3-Feb,
followed by Monday, and then Tuesday of that week.

Let me give a sketchy example of the type of scenario I think 
my eventual program should be able to perform.

-----
Consider the task of inputting rules to Dendral.
There will certainly be many times when the rules used for
one class of chemicals were essentially identical to those for another class,
but not quite.
To illustrate, imagine you had just enterred the dozen rules specific to hydrates.
Now comes the time to enter the corresponding rules to be used for
ammoniates.  (To a first approximation,) these new rules should be deducable
from that first set -- making only the changes needed to distinguish
amine compounds from hydrozyl compounds.  
That is, each new ammoniate rule, R, should be analogous to a hydrate rule, R'.

It would be nice if a program could generate this R using a relation like
	hydrates : ammoniates :: R' : ?.
(This relation, in turn, would be based on a body of facts known about
hydroxyl and  amine compounds).
However, lacking such an analogizing routine, you the user would be forced
to tediously enter a new rule R for each such R'.
-----

Anyway, I'm currently searching for a crisp example of when this actually happened,
to replace this imprecise contrived one.  Certainly something like this
must have happened as you were "educating" Molgen, yes?

There is one other, possibly relevent paper: my overgrown thesis proposal.
An updated version will soon be placed on [MAXC]<GREINER>THESIS.PRESS --
feel free to read as much of it as you like.  (Only the first few pages
are really relevant, to provide a feeling for some of my current objectives.)

You'll find the proposal has relatively little in common with this example
scenario -- that disparity should provide some insight into my current
state of confusion and aimlessness...

Finally, now that you've whetted my curiousity, can you relay what is
happening at MIT?

	Thanks,
Russ

∂02-Feb-82  1359	Stefik at PARC-MAXC 	Re: Discussion time, overview, etc.    
To: Russell Greiner <RDG at SU-AI>
cc: stefik, bobrow

Russ -- It seems that we have missed your optimal days this week -- since we
have a hard conflict on Wednesday.  Next week there are conflicts here on Mon
and Wed.  What is your schedule?  Mark

[rdg] - 12:15PM 5/Feb/82
	Meeting with Fairchild -- Dick Duda  (March 1982)
 2-Mar-82 12:55:28-PST,787;000000000001
Mail-from: ARPANET site SUMEX-AIM rcvd at 2-Mar-82 1242-PST
Date:  2 Mar 1982 1059-PST
From: Nii at SUMEX-AIM
Subject: Re: Status on Experts
To:   Feigenbaum at SUMEX-AIM
cc:   Buchanan at SUMEX-AIM, csd.dietterick at SU-SCORE,
      csd.greiner at SU-SCORE, csd.barr at SU-SCORE, nii at SUMEX-AIM

In response to your message sent  1 Mar 1982 2315-PST

     We would like to meet soon to see what your thoughts are re Schlumberger
problem(s), to zero in on specific projects, and mak specific plans to keep
the project(s) moving.  Dick would  also like to meet and is available this 
Friday at our usual time -- 10:00 am.  Room 301 is also available at that time.

	please rsvp soon so I can let Dick know if we are meeting.  He will
be away next week.
penny
-------
 2-Mar-82 16:16:47-PST,492;000000000001
Mail-From: CSD.GREINER created at  2-Mar-82 15:46:16
Date:  2 Mar 1982 1546-PST
From: Russell Greiner <CSD.GREINER at SU-SCORE>
Subject: Re: Status on Experts
To: Nii at SUMEX-AIM, Feigenbaum at SUMEX-AIM
cc: Buchanan at SUMEX-AIM, csd.barr at SU-SCORE, CSD.GREINER at SU-SCORE,
    csd.dietterich at SU-SCORE
In-Reply-To: Your message of 2-Mar-82 1059-PST

YEs, let's meet then.  I've no additional thoughts, but do want to hear
what youse other guys have to say.
	Russ
-------
 2-Mar-82 20:48:55-PST,652;000000000001
Mail-from: ARPANET site SUMEX-AIM rcvd at 2-Mar-82 2046-PST
Date:  2 Mar 1982 1940-PST
From: Feigenbaum at SUMEX-AIM
Subject: Re: Status on Experts
To:   Nii at SUMEX-AIM
cc:   Buchanan at SUMEX-AIM, csd.dietterick at SU-SCORE,
      csd.greiner at SU-SCORE, csd.barr at SU-SCORE, duda at SRI-KL,
      csd.dietterich at SU-SCORE

In response to your message sent  2 Mar 1982 1059-PST

I think the meeting is worth holding, but I am tied up starting at 10:30am
so will be there for only a half hour. Still, that is OK, because I want
Tom D. to report the state of his thinking. And the meeting can continue
on without me.

Ed
-------
 4-Mar-82 10:07:45-PST,503;000000000001
Mail-from: ARPANET site SUMEX-AIM rcvd at 4-Mar-82 0925-PST
Date:  4 Mar 1982 0924-PST
From: Nii at SUMEX-AIM
Subject: Friday Schlumberger Meeting
To:   Buchanan at SUMEX-AIM, Feigenbaum at SUMEX-AIM, Duda at SRI-KL,
      Csd.Dietterich at SU-SCORE, Csd.Greiner at SU-SCORE, csd.barr at SU-SCORE
cc:   nii at SUMEX-AIM

Although I haven't heard from Bruce yet, It seems everyone can make it this
Friday.  We'll meet at 10:00  in Room 301 (note the room change).
See you then
penny
-------
18-Mar-82 09:48:34-PST,498;000000000001
Mail-From: CSD.NII created at 18-Mar-82 09:38:39
Date: 18 Mar 1982 0938-PST
From: Penny Nii <CSD.NII at SU-SCORE>
Subject: Reminder of Schlumberger Meeting
To: csd.dietterich at SU-SCORE, csd.greiner at SU-SCORE, csd.barr at SU-SCORE,
    Duda at SRI-KL, Buchanan at SUMEX-AIM, Feigenbaum at SUMEX-AIM,
    csd.novak at SU-SCORE
cc: nii at SUMEX-AIM

Reminder that we meet again this Friday at 10:00, Room 252.  Hope to be
abel to zero in closer to interesting problems.
penny
-------
∂15-Mar-82  1559	<CSD.GREINER at SU-SCORE> 	Discussion of Analogy, and related things 
To: phw at MIT-AI
cc: rdg at SU-AI

Dr Winston -
	My current thesis work is on the topic of analogy.
Based on your recent reports, it seems that you (and Richard Brown) have
similar interests.  Would you be interested in meeting, to compare notes
and to discuss our different approaches (and anything else of interest)?
I will be vacationing in Boston next week, March 23-26, and plan to spend
one of those days "investigating" the AI scene at MIT.

Some details:  I am now investigating how analogies might be used to
facilitate learning.  The particular application is Knowledge Acquisition --
teaching an immature Expert System new facts about its domain.
This would allow new object to be described analogously,
as being similar to some known domain object(s).

A simple example comes from the EMACS domain.
Consider the instruction that
	"Word commands are just like character commands, 
	 except they use Meta rather than Control."
For this application, "understanding" this instruction involves not only
incorporating this new class of word commands into a growing Knowledge Base
of EMACS commands, but possibly twiddling this KB as well, to insure that
these word commands will now be used appropriately.

We can easily imagine a variety of extentions to this analogizing program.
For example, it might one day be able to "digest" statements like
"Text formatters are like Text editors in that both deal with
words, paragraphs, ...; but disimilar in terms of purpose: ..."
(or "This research is just like Brown's in that it deals with analogy, but 
different ...")
-- but I want to handle these more solid, simpler cases first.

Anyway, I have a growing bundle of proto-reports on these areas,
which I'd be glad to convey once finished.

If I'd whetted your curiousity, send me a message telling when would be
a good time to meet.

Thank you,
	Russ
-------

∂23-Apr-82  0932	TW   
Russ,

I am finally at a point where (modulo Murphy's Law) where 
my book will be finished this week, so I have started excavating
my desk and in the mesozoic layer came across your proposal, which
I read (skimming all but the first few pages).  Since it has been
so long, I'm not sure what you are thinking now, so I'll make a few
coomments based on the written version, and we can get together
for further discussion.

My overall impression is that it is not a good thesis topic.  Analogy
is of course a fascinating problem, but not one that lends itself to
the kind of approach you propose.  My main objection is that in order
for something to be tacklable as a thesis project (or a substantive
scientific endeavor of any kind) there must be a more precise question
or problem.  My model of AI research is that it works well when there
is a domain in which there is already a clearly successful body of
expertise at least partially understood.  Of course every human has
expertise in analogy (and language, and vision, and thinking, ...)
but this is not at all parallel to expertise in chess or spectrometry.
If there were ten good programs that did useful and interesting things
with analogy, it would be time to come up with generalizations.  Since
there aren't, the only way to get anywhere is to try and create one.  My
fear is that by working at such a highly general level you will end
up with mush.   I predict that the thesis will consist of: a) a lot
of amusing speculation and handwaving; b) a program that does some
trivial task, for which it was hand tailored, along with a lot of
excuses about why this is not to be taken as a serious application
but as an evocative example; c) more speculation on what it would
take to apply the ideas in more realistic domains.

My advice (if you want to stay in the same general area) is to look
for a specific domain where: a) analogical techniques would be of
demonstrable use and effectiveness; b) you (not the user to whom
you pass along great flexibility) could make them actually work
and accomplish something.  It may not be easy to find one, but
without it I just don't see getting anything solid enough to be
interesting.

As I said, I'm not sure what your thoughts are now and would
be glad to talk more.
--t

---
∂TO tw 23-Apr-82
Proposal, and related things
Terry,

Thanks for the comments.  
Yes, I would value the opportunity to hear your views on my thesis related ideas.
I've forgotten which iteration of my thesis proposal you read,
but, based on your comments, I assume it was a fairly early (pre)release.

I've spent the last few months working on a "What's in an Analogy" paper,
trying to pin down some thoughts on analogies in general,
towards understanding what type of task I should address.
(A draft is now being circulated among some peers 
-- after incorporating their comments, perhaps I could get your response
as well.)

The particular research task I'm now considering 
(which I don't think was mentioned in that earlier proposal,)
deals with the use of analogies in Knowledge Acquisition.
The domain expert will often use an analogy to introduce or further
specify some new term;
the goal of this work is a module which can "understand" those analogies.
For example, consider the task of teaching an expert system how to use EMACS.
Once it knows about C-F, C-B, C-<rubout> and C-D, 
it would be nice to simply state that 
	"Word commands are like character commands,
	 except they use Meta rather than Control".
Assuming the system already knew some core editor principles, 
(eg what type of thing a word is,
or the fact that common commands have been designed to require few keystrokes, etc)
this instruction would communicate a great deal --
if not everything needed, at least enough that this KA program would know
what types of refining questions to ask to (more completely) understand these
what these new commands do, and how (and when) to use them.

There are still a great number of issues, even for this trivial example.
As noted above, this program will have to have access to a
large body of facts about the domain (here editors); but not too much.
E.g., if the system has a complete working knowledge of TECO, 
and had the definition of each EMACS command in terms of its TECO code,
it would be wasteful to bother the system with this superfluous analogy.
Another issue is the interface itself --
how does one describe an analogy?
Then, for each description, what types of inferences may (or must) follow?
What are the appropriate refining questions? etc etc etc.

Some first thoughts on these questions appear in that "What's ..." paper;
other ideas are in drafts of other documents.

Anyway, if you are still interested, when could we meet?  Perhaps sometime
next week?  Let me know if you would prefer glancing over the "WIaA" paper
beforehand.

Russ

-----
PS Did you get the AI Qual comments I left on your desk a few weeks ago?
∂TO darden@sumex, csd.dietterich@score, tom@kestrel, csd.gardner@score,
	csd.crangle@score, csd.pcohen@score -- 16:15 23-Apr-82
Get 'em while they're hot!
I've spend the last few weeks (well, months) working on a
"What's in an Analogy" paper.  
This 45 page monstrosity is now (just about) ready for perusal.  
I'd much value comments from members of this esteemed crowd.
Please send me a message if you are interested;
or just snarf the file -- NAIVE.PRE[rdg,dbl] at SAIL
(the source is NAIVE.MSS[rdg,dbl]).

Thanks.
	Russ

∂27 Apr 1982 1241-PDT	<CSD.CRANGLE at SU-SCORE>	analogies
To: csd.greiner at SU-SCORE

Russ,  I would very much like to read your paper.  Can you tell me how to
"snarf" a file.  (I'm serious about the request - what's the easiest way to
get a copy ? )    Colleen
-------

∂25-Apr-82  1231	TW   
It would be helpful to see the paper before meeting, so why don't you
drop it by.  Late next week might be OK, but let's check midweek to see.
Yes, I did get the qual comments, and have tried to improve things basded
on them. --t

Dropped it by on 3-May
∂TO sklein@isib 15:13 3-May
Ta Daaaa!!
Steve -
	I deposited copies of NAIVE.PRE and NAIVE.DOC on [ISIB]<MANCOM.RLL>.
These are two versions of the analogy file I've been mentioned for
oh-so-many-months.  Let me know if these are readable 
(typographically and/or semantically).  I'd of course enjoy hearing
your comments.
	Thanks,
Russ
∂04-May-82  2002	ML  	analogy   
Hi Russ,
	I just got back from MIT last week where I was doing some work with
Pat Winston on his analogy program that learns from precedents. We were applying
it to reasoning about the function of an object given a shape description of
an object. I might be developing this into a thesis topic, and I'd like to talk
with you about analogy, particularily as a method of learning. Is there a 
good time for you to meet about 1 hr. ?
				Mike Lowry

∂05-May-82  1224	RDG  	Function from form...   
Sure, whenever.  Thursday after 4 and Friday noon are bad, but almost any
other time.  How about tommorrow at 11AM?

By the way, I have a long "what's in an analogy" draft, already for comments.
Feel free to DOVER NAIVE.PRE[rdg,dbl].
	Russ

∂TO ML 25:54 12/May
(con't)
Mike -
	I would like to continue our analogy discussion.
Let me know when you'd like to meet, if you're also interested.
(Almost any time is good for me.)

	I'd also appreciate hearing your comments on my memo.
By the way, how did your conversation with Tom Dietterich go?

	Russ

∂13-May-82  1741	ML   
Russ,
	I'd also like to meet again soon. At the moment I am at MIT again
(special airline deal), but I will be returning Sunday. I'm planning to 
meet with Tom monday, then I have elective surgery on Tuesday. This will
probably lead me to be indisposed for a few days. l'll send you a message
to plan another meeting after I recover sufficiently to be active again,
probably towards the end of next week.
			
	Mike

∂TO STT 14:15 6-May
Greetings!
Steve -
	How are you these days?  Are you still examining reformulation?
... still a student here?  ... corresponding with Lindley?

The main reason I ask (apart from curiousity and personal interest)
is that I'd love to get your comments on a hot-off-the-presses (draft of a)
paper on analogy.  Are you interested?
	Russ

∂09-May-82  1026	STT  	re: greetings 
Yes, I'd like to see the paper on analogy. I'll try to find you Monday.
No, I'm not a student now and not working on reformulation; probably will
return to it soon though; am off pursuing more cosmic ideas. Am still
corresponding with Lindley on occasion; as of a month ago she was
convalescing from surgery and said "No time for interesting thoughts, yet,
but maybe within a month or so."

--
∂TO stt 21:58 12-May
get two get her.
Were you able to meet Nancy.  Sorry to have kept you so long from your
"appointed rounds"...  Anyway, anytime you want to continue that 
conveyance of ideas, do let me know.  I'm quite interested.
	Also, let me know if/when you've any comments on that Analogy
Magnus opus of mine.  I'd like to get some feedback, which I can use
to improve the paper to where its ready for Mike, Doug, etc...
	Thanks,
Russ
∂TO shortliffe@sumex 19:50 15-June-82
Valuable assistance
Ted -
	First, I did want to thank you, again, for your help during and after
that food poisoining bout a few months ago.
The second issue concerns your current committments.  I'm still examining
the possible uses of analogy during the knowledge acquisistion process.
While I have pinned down some of the thoughts we discussed many moons ago,
my thesis direction is still "underspecified",
and I think I would benefit considerably from your
suggestions/criticisms/insights/etc.

Would it be possible to meet sometime in the near future, to discuss ways of
refining and honing these ideas?
By the way, I have a brief summary of (my conception of) the type of behavior
I would like the program to achieve,
and why I think it will be successful.
Let me know if I should send you a copy.

	Thanks,
Russ

P.S.  While SAIL and SCORE are down, I'll be reading my mail at
GREINER@Rand-Ai.

∂18-Jun-82  1748	Ted Shortliffe <Shortliffe at SUMEX-AIM> 	Re: Valuable assistance
To: RDG at SU-AI
cc: greiner at RAND-AI

Russ,
	Would be happy to chat with you about your thesis plans sometime 
before too long, but it will probably have to be in July after I put several
commitments behind me.  Is that soon enough to be useful to you?  In the
meantime, please do send along the copy of your preliminary ideas and I'll
do my best to look them over before we meet.
	Regards,
	   Ted
-------

∂TO shortliffe@sumex 14:37 14-Jul-82
Nudge, nudge
Ted,
	Greetings. Just a reminder that I'd like to chat with you about
thesis type things at some point, whenever you've the time...  No rush.
	Russ

∂14-Jul-82  1444	Ted Shortliffe <Shortliffe at SUMEX-AIM> 	Re: Nudge, nudge  

	Sorry for the delay, Russ.  It got bumped temporarily from my stack.
I'll be away next week, but will get back to you upon my return to set up
a time.
	Ted
-------

Relevant domains

	Meeting with DBL - 28/VI/82
He suggested an empirical psychology-ish experiment, to test the "obviously true"
hypothesis that "analogy is a win for Knowledge Acquisition".
Devise some 6 KBs, and time how long it takes experts to fill each with
pertanent facts -- correlate this with the order of "filling out".
(0) sans Analogy module, independent of order -- this is base case
(1) with Analogy module: Expected behavior:
	After Meningitus has been input, time for Urinary tract infections 
	should be less (and vice versa).  Note time for Meningitus MORE,
	as we will need to include various "first principles". (e.g. about
	medications, or teleology, ...)
	What about Automatic Programming, wrt Meningitis?  Probably still
	some small wins -- e.g. idea of hierarchy, or ...

Human (Medical) diagnosis -- e.g. urinary tract infections
Computer diagnosis - fault correction, or preventative
Instruments - e.g. for schlumbeger tasks (oil exploration)
Other tools - in carpentry, or ...
Advisor - for Macsyma
Advisor - for <sacon>
Debugging programming
Devising experiments - for Molecular genetics
Devising experiments - for mathematics


Meningitis <=> Urinary tract diseases
	[here find "pharmacueticals", notion of treatment, ...]
Computer diagnosis <=> Human diagnosis
	[see above]

∂TO csd.lenat@score 14:04 2-July
What's 'de buzz?
Doug -
	I'm currently coding up the Viral meningitis case I mentioned
in my prior message.  This one example will force me to form a skeleton of
the actual control mechanism needed, plus a preliminary encoding scheme
for both the rules and the facts involved.
	After that I plan to examine that "endocrine system is like blood"
case (where IsA slot is NOT preserved).
The third case will involve some intERfield analogy between a pair of objects,
where they belong to distinct KBs.
This pair of KBs will be taken from the list of
KBs (associated with the expert systems) given below:

Human (Medical) diagnosis 
   wrt:	Menigitis
	Urinary tract infections
	Endocrine system
	Immune system
(Software) Computer diagnosis --
	Fault detection and correction (i.e. Program debugging)
(Software) Computer verification/construction --
	Automatic programming, or
	Program development/improvement (Fault preventation)
<Above two categories, but for hardware - electrical circuit>
Instruments understanding
	For Schlumbeger (oil exploration) tasks
	For carpentry, or ...
(CAI-ish) Advisor
	For Macsyma system
	For <sacon>-task
Experiment design/construction
	For Molecular genetics
	For Mathematics - number theory, set theory, ...

Understanding Cognitive Science terms 
	- both extending Computer terms to apply to People,
	  vice versa.

-----
I'm especially intersted in your comments on my last <Summary ...> message,
as well as remarks about this research programme.
	Thanks,
Russ

∂ 6 Jul 1982 1229-PDT	<CSD.LENAT at SU-SCORE>		Rescheduling
To: CSD.GREINER at SU-SCORE

Russ,

I will be out of town on Friday, it turns out.
How is next Wednesday, July 14, at 3 pm?

Doug
-------
----
∂TO csd.lenat@score 15:23 6-Jul
Schedule
Doug -
	Sure, Wednesday is fine.  Would it be possible to meet earlier in the
day (say, before lunch)?  If not then 3PM is acceptable...
Any comments I should digest by then?
	Russ
	meeting w/Tom Dietterich [ca Jun-82]
Date: 25 Jun 1982 1940-PDT
From: Russell Greiner <CSD.GREINER at SU-SCORE>
Subject: Thesis this(e)s and thats
To: csd.dieTTERICH at SU-SCORE
cc: CSD.GREINER at SU-SCORE

Tom -
	Could we get together sometime soon and discuss our respective theses?
I'm curious both to hear what you've been up to, and to get your opinion on my
ideas...
	Russ
-------
 1-Jul-82 08:59:18-PDT,570;000000000001
Mail-From: CSD.DIETTERICH created at  1-Jul-82 08:56:35
Date:  1 Jul 1982 0856-PDT
From: Tom Dietterich <CSD.DIETTERICH at SU-SCORE>
Subject: Re: Thesis this(e)s and thats
To: CSD.GREINER at SU-SCORE
cc: CSD.DIETTERICH at SU-SCORE
In-Reply-To: Your message of 25-Jun-82 1940-PDT

Russ,

Sure,  I've been out of town for the last week.  Howabout getting together
Tuesday morning, July 6 around 9 or 10 or else Wednesday morning, July 7?
(I still haven't read your n-page proposal yet.  Should I make the effort
to read it before we meet?)

--Tom
-------
 1-Jul-82 12:13:20-PDT,853;000000000001
Mail-From: CSD.GREINER created at  1-Jul-82 12:06:54
Date:  1 Jul 1982 1206-PDT
From: Russell Greiner <CSD.GREINER at SU-SCORE>
Subject: Re: Thesis this(e)s and thats
To: CSD.DIETTERICH at SU-SCORE
cc: CSD.GREINER at SU-SCORE
In-Reply-To: Your message of 1-Jul-82 0856-PDT

Tom -
	Welcome back.  Tuesday 10AM is good for me.  That n-page paper is
NOT a proposal; and almost all of it can/should be ignored.  The only 
exception is Appendix C or D, depending on your version,
(the one which discusses reformulation,) which I think will be relevant.
Any comments you have on that would be much appreciated.

I will also send you a soon-to-be-recontructed short (300+ line) summary 
on its completion.  (The current version will probably be hacked to death 
in my meeting with MRG today.)

Anything you want me to read?
	Russ
-------
 1-Jul-82 15:09:41-PDT,381;000000000001
Mail-From: CSD.DIETTERICH created at  1-Jul-82 15:07:17
Date:  1 Jul 1982 1507-PDT
From: Tom Dietterich <CSD.DIETTERICH at SU-SCORE>
Subject: Re: Thesis this(e)s and thats
To: CSD.GREINER at SU-SCORE
cc: CSD.DIETTERICH at SU-SCORE
In-Reply-To: Your message of 1-Jul-82 1206-PDT

Russ,

No, I don't have anything worth reading yet.  See you on tuesday.

--Tom
-------
-------

∂13 Jul 1982 1651-PDT	Colleen Crangle <CSD.CRANGLE at SU-SCORE>	analogies
To: csd.greiner at SU-SCORE

Russ,   I read your analogies paper and found some of the points interesting.
Thank you for sending it.  We really should see whether we can get together
some time this summer to talk some more about analogies.   I have since written 
another paper on analogies and want to put together the two I've written to 
form a coherent whole.
Do you think there's any chance of my still being able to go to the
AAAI conference at CMU?  Are you going?
Colleen
-------
-------

∂TO csd.crangle@score 14:03 14-July
...things only peripherally related to analogy...
Colleen -
	Yes, let's get together.  When is a good time for you?
(Lunch time is best for me, on almost any day.)
I would really like to hear which points in my paper you found interesting;
and, more importantly, which ideas needed to be sharpened and/or modified.

	Are your papers available for perusal?  If so, I'd enjoy reading
(one or both of) them; let me know how to get ahold of them.

	WRT AAAI - yes, I plan to go.  Several of the papers looked
interesting.  Some aspects of the Cog Sci conference look appealing as well --
in particular a "State of the Art Symposium" on Metaphor.  I've pamphlets
on both conferences, which I'd be happy to copy for you, if you're interested.

	Keep in touch,
Russ

∂23-Jul-82  0118	<CSD.CRANGLE at SU-SCORE> 	almost analogies 
To: rdg at SU-AI

Russ,
A lunch time sounds good.   Tuesdays are best for me.  How about this coming
Tuesday the 27th at 12.30 at your office?   I'll try to find the copy of your
paper on which I made notes, and I'll bring copies of mine. 
I'm going to register for the AAA-I conference so I'll get a brochure.  But
I would very much like to see the Cog. Sci. brochure.
On Tuesday then, unless another day would suit you better.

Colleen
-------

∂TO colleen - ?
All set
Colleen -
	Tues at 12:30 sounds good. (Better would be a bit earlier - say noon?)
I'll have a copy of the cog sci brochure for your perusal.
	Russ

∂26-Jul-82  1046	<CSD.CRANGLE at SU-SCORE> 	tuesday meting   

Russ,
I have just discovered, without warning, that I must work in the Philosophy
Library this week.  That makes meeting tomorrow almost impossible.  Sorry, but
could we postpone till next week.  Tuesday at noon sounds good.  I'll phone you
tonight to make sure you get the message.  Sorry again.

Colleen
-------

∂TO csd.crangle@score 23:02 26-Jul-82
Meeting
Colleen -
	Yes, I did get your message; and look forward to meeting with
you at noon on Tuesday, 3/August/82.  
	Russ
Discussion with Colleen [3/Aug/82]
"Essentialism" claims that there are
	some properties intrinsic to an object, without which it would
	not be that object.
Note that the reformulation theme runs counter to that;
	holding that there are *MANY* descriptions of an object,
	none "absolutely" special.
(Of course, to be useful, some of these decompositions may still be special...)

Also the view that certain properties intrinsically useful...
-----

Discussion with Mike Genereseth [3/Aug/82]
	Issue: How to formalize analogy.

Analogy( A, B, T )
 where T is a theory, such that
	T[$*/A] & T[$*/B]

Now to consider different statements about T:

A is like B ...

"in that P(x)"
	=>  "P($*)" ε T

"considering only P"
	=> "P($*) ε T"
    [can/should we state that nothing else is in T (except for closure)]

"except that P(A)"
	=> ¬ "P($*)" ε T
    [perhaps we should indicate the P(A) and ¬P(B) (perhaps P', which is similar to P]

"ignoring the R relation"
	=> ¬ "R(...$* ...)" ε T

"after substituting X for Y"
	=> T = Th(Fred)[ Fred/$*, X/$$]
... i.e. this theory T will have a new variable, $$, bound to X ...
    [how to state that the interpretation of $$ is X in A's case, but Y in B's?]

"as X is to Y"
	=> Analogy(A, B, Analogy(X,Y) )
    [sorta - really want a set-inclusion statement]

----
What of proportional analogies --

Here discuss Rel(A1, A2) -- which is a term, whose value is a relation.
Use this in above Analogy statement.
--
Other issues:
What of parts of A and parts of B?  
   Answer:
Each part can be the value of some function applied to that analogue.
E.g. Given a ship as one analogue, and the earth as the other,
we may want to discuss the Mast of the ship, and the continents of
the earth.  No problem -- just Foo($*), referring to Mast(Ship) in
the first case; and Continents(Earth) in the other.

What of language differences?  Clearly if the same language, we may
still have to "extend" the domain of the functions to apply to both cases.
When languages are different (or worse: have same symbol with
different arity, and different intended meaning,) there are additional
problems.  We decided to defer this problem.

Perhaps we need more: a theory, T, to indicate how A and B are similar;
and perhaps a description of what terms serve what roles.
Hence Fred's "CalTech" would correspond to Mary's  "Stanford".
∂TO bischoff@sumex 12:30 5-Aug-82
Thesis work, and things like that
Mariam -
	Greetings.  
My (soon-to-begin) thesis work will be on the use of analogy 
during the knowledge acquisistion process.
While I have pinned down some of ideas,
my precise thesis direction is still "underspecified" --
in particular, I still need to decide in which domain
(and possibly with which active project) to work.

Bruce suggested you were the right person to contact.
Is there sometime we could meet to discuss the available options?

By the way, I have a quicky document (a thesis-proposal-ette) which
outlines the type of things I'd like to do.
Let me know if you would like some advance warning of my goals;
and I'll send it along.

Thanks,
	Russ

∂05-Aug-82  1251	Bischoff at SUMEX-AIM 	Re: Thesis work, and things like that     
To:   RDG at SU-AI
cc:   SHORTLIFFE at SUMEX-AIM

In response to your message sent 05 Aug 1982 1230-PDT

Russ,

    I mentioned that you wanted to meet with me sometime to Ted.
Since he's planning to meet with you next week, why don't we
just plan to talk then.  I'll let Ted set up the meeting since
he has the busiest schedule and I'll be available around that
time as well.  He also said that he has a copy of your thesis
proposalette on-line, so I'll take a look at that.

			Miriam
-------

∂TO %sumex bischoff, shortliffe 14:24 5-Aug-82
Meeting
Miriam, Ted -
Great!  I didn't include Ted *only* because I had heard that
he was "swapped out" this month; I'm elated he'll be able to make it.
Schedule: My sole commitment next week is a meeting all Thursday morning.
	Looking forward to talking with (both of) you soon,
Russ

PS Sorry I misspelled your name, Miriam.  I couldn't figure out how to
get SUMEX to tell me your full name, and had to guess.

∂06-Aug-82  0813	Ted Shortliffe <Shortliffe at SUMEX-AIM> 	Re: Meeting  
To: RDG at SU-AI
cc: bischoff at SUMEX-AIM
Office: Room TC-117, Med Center; Phone: 497-6979

Russ,
	Let's make it next Tuesday the 10th at 2:30 in my office (TC117).
I have about an hour free then.
	Ted
-------

∂TO %sumex shortliffe, bischoff/cc 10:52 6-Aug
Ok, will see you then.

∂6-Aug Meeting with Ted & Miriam
ONCYCIN seems ripe - active KA, much of it fuzzy
M commented she wanted to say that this treatment was like that one
	- in that some drug attenuation should be the same -- i.e.
	use similar (same?) rules.
Ted believes REAL cases should be examined -- I agree

ONCYCIN uses rules, contexts, parameters -- with no easily discerned
inter-connected structure.

Meta-level statements, wrt which context block, etc, implicit... never explicated.

----
What can be similar?
One patient with another. (perhaps himself, on an earlier day)
One treatment with another.
One disease with another.